Power Defaults (draft Version) 1
نویسندگان
چکیده
We show how two general notions of domain theory, the logic induced from the Scott topology on a domain, together with the Smyth powerdomain, interact with the theory of default reasoning introduced by Reiter 19]. We deene extensions, which are xed points of a certain non-monotonic operator on a Scott domain induced by a normal default set over that domain. We specialize this deenition to the Smyth powerdomain, which consists of all nonempty compact sets in the Scott topology, ordered by reverse subset inclusion. Our main result is a general \splitting theorem" showing how any extension E of a union of compact sets U and V can be written as a union E = E U E V , where E U and E V are either empty or extensions of U and V respectively. This result holds in arbitrary Scott domains, provided the set of \power defaults" is obtained from \default constraints", a natural way of introducing defaults over the Smyth powerdomain. We apply our methodology in rst-order systems. As in 20], we equip standard rst-order logic with a Kleene 3-valued partial model semantics. Then, using our methodology, we add power defaults to this semantic system. We show how, in this application, the Extension Splitting Theorem sanctions default reasoning by cases. We point out, though, that our methodology applies much more generally than the rst-order case. It is a valid method for default reasoning in any setting appropriately modeled by Scott domains.
منابع مشابه
Model-Preference Default Theories
Most formal theories of default inference have very poor computational properties, and are easily shown to be intractable, or worse, undecidable. We are therefore investigating limited but efficiently computable theories of default reasoning. This paper defines systems of Propositional Model-Preference Defaults, which provide a true modeltheoretic account of default inference with exceptions. T...
متن کاملمقاومت کششی ، مقاومت ویژه و توان مالبندی موردنیاز گاو آهن قلمی (چیزل) ، در سطوح مختلف رطوبت خاک و عمق شخم
The effects of three levels of soil moisture content (8-10, 10-12 and 12-14% d.b.) and three levels of plowing depth (15, 20 and 25 cm) on draft, specific draft and drawbar power requirement of a 7-shank chisel plow in a clay loam soil were investigated. The experimental design was a randomized complete block design with a 3×4 factorial. The effect of plowing depth on all of the parameters ment...
متن کاملLogic Programming with General Clauses and Defaults Based on Model Elimination
The foundations of a class of logic programming systems wi th the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation method is an extended version of weak model el imination. The first ques t ion addressed is how to compute answers with weak model el iminat ion when queries and programs are sets of arbitrary clauses, which is comple...
متن کاملمقاومت کششی ، مقاومت ویژه و توان مالبندی موردنیاز گاو آهن قلمی (چیزل) ، در سطوح مختلف رطوبت خاک و عمق شخم
The effects of three levels of soil moisture content (8-10, 10-12 and 12-14% d.b.) and three levels of plowing depth (15, 20 and 25 cm) on draft, specific draft and drawbar power requirement of a 7-shank chisel plow in a clay loam soil were investigated. The experimental design was a randomized complete block design with a 3×4 factorial. The effect of plowing depth on all of the parameters ment...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997